Please note that this newsitem has been archived, and may contain outdated information or links.
14 December 2016, A|C seminar, Andrey Kudinov
Speaker: Andrey Kudinov (HSE Moscow)
Title: Modal logics of the real line
Date: Wednesday 14 December 2016
Time: 17:00
Location: Room G2.02, Science Park 904, Amsterdam.
Abstract:
The real line is probably the most well known and well studied topological space. There are 6 different combinations of languages of this kind (two unimodal and four bimodal). The first modality in bimodal and the modality in unimodal languages we will interpret either using closure or derivation topological operators. For the second modality in bimodal settings we use universal or difference modalities.
We will discuss logics of the real line that arise in all these languages.
For more information, see
http://www.illc.uva.nl/alg-coalg/
or contact Frederik Lauridsen at f.m.lauridsen at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.